More from this Author

Verified Software. Theories, Tools, and Experiments

by Ruzica Piskac (Editor), Philipp Rümmer (Editor)

Verification, Model Checking, and Abstract Interpretation

by Constantin Enea (Editor), Ruzica Piskac (Editor)